Termination of the given JBC could be disproven:

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_24 (Apple Inc.) Main-Class: NO_23

public class NO_23 {
    public static void main(String args[]) {
	int i = 0;
	while (i < 100) {
	    if (i < 50) i = 51;
	    else i = 49;
	}
    }
}

(1) JBCNonTerm (EQUIVALENT transformation)

Constructed a run with a repetition. States 8 and 26 are repetitions.
0:

<NO_23.main||0: push 0|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

1:

<NO_23.main||1: store INT to #1|| - ||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

2:

<NO_23.main||2: load INT #1||#1: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

3:

<NO_23.main||3: push 100||#1: 0||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

4:

<NO_23.main||5: GE||#1: 0||0, 100>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

5:

<NO_23.main||8: load INT #1||#1: 0|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

6:

<NO_23.main||9: push 50|| - ||0>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

7:

<NO_23.main||11: GE|| - ||0, 50>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

8:

<NO_23.main||14: push 51|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

9:

<NO_23.main||16: store INT to #1|| - ||51>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

10:

<NO_23.main||17: jmp||#1: 51|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

11:

<NO_23.main||2: load INT #1||#1: 51|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

12:

<NO_23.main||3: push 100||#1: 51||51>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

13:

<NO_23.main||5: GE||#1: 51||51, 100>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

14:

<NO_23.main||8: load INT #1||#1: 51|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

15:

<NO_23.main||9: push 50|| - ||51>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

16:

<NO_23.main||11: GE|| - ||51, 50>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

17:

<NO_23.main||20: push 49|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

18:

<NO_23.main||22: store INT to #1|| - ||49>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

19:

<NO_23.main||23: jmp||#1: 49|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

20:

<NO_23.main||2: load INT #1||#1: 49|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

21:

<NO_23.main||3: push 100||#1: 49||49>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

22:

<NO_23.main||5: GE||#1: 49||49, 100>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

23:

<NO_23.main||8: load INT #1||#1: 49|| ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

24:

<NO_23.main||9: push 50|| - ||49>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

25:

<NO_23.main||11: GE|| - ||49, 50>
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

26:

<NO_23.main||14: push 51|| - || ->
	String.serialVersionUID: -6849794470754667710L
	String.serialPersistentFields: a18
	String.CASE_INSENSITIVE_ORDER: o10
	String$CaseInsensitiveComparator.serialVersionUID: 8575799808933029326L
	RuntimeException.serialVersionUID: -7034897190745766939L
	Exception.serialVersionUID: -3387516993124229948L
	Throwable.serialVersionUID: -3042686055658047285L
	o10!: String$CaseInsensitiveComparator()
	a18([java.io.ObjectStreamField|]): length 0
	a20([java.lang.String...]): length [0,+inf)

(2) NO